Suchergebnis

Suche nach: Schlagwort = Formale Methode und Sammlung = ULB Düsseldorf

FM 2014: Formal methods
19th international symposium, Singapore, May 12 - 16, 2014 ; proceedings
Jones, Cliff B. (Hrsg.) ; FM <19, 2014, Singapur>
Cham [u.a.] : Springer, 2014
FM 2015: Formal methods
20th international symposium, Oslo, Norway, June 24 - 26, 2015 ; proceedings
Bjørner, Nikolaj (Hrsg.) ; FM <20., 2015, Oslo>
Cham [u.a.] : Springer, 2015

21st international symposium, Limassol, Cyprus, November 9-11, 2016 : proceedings

Fitzgerald, John (Hrsg.) ; Heitmeyer, Constance (Hrsg.) ; Gnesi, Stefania (Hrsg.) ; Philippou, Anna (Hrsg.) ; FM <21., 2016, Limassol>

Cham : Springer, 2016

17th international conference on formal engineering methods, ICFEM 2015, Paris, France, November 3-5, 2015 : proceedings

Butler, Michael (Hrsg.) ; Conchon, Sylvain (Hrsg.) ; Zaidi, Fatiha (Hrsg.) ; ICFEM <17., 2015, Paris>

Cham : Springer, 2015

11th international conference, IFM 2014, Bertinoro, Italy, September 9 - 11, 2014 ; proceedings

Albert, Elvira (Hrsg.) ; IFM <11., 2014, Bertinoro>

Cham [u.a.] : Springer, 2014

24th international symposium, LOPSTR 2014, Canterbury, UK, September 9-11, 2014 ; revised selected papers

Proietti, Maurizio (Hrsg.) ; LOPSTR <24., 2014, Canterbury>

Cham [u.a.] : Springer, 2015

25th international symposium, LOPSTR 2015, Siena, Italy, July 13-15, 2015 : revised selected papers

Falaschi, Moreno (Hrsg.) ; LOPSTR <25., 2015, Siena>

[Cham] : Springer, 2015

12th international conference, SEFM 2014 Grenoble, France, September 1 - 5, 2014 ; proceedings

Giannakopoulou, Dimitra (Hrsg.) ; SEFM <12., 2014, Grenoble>

Cham [u.a.] : Springer, 2014

13th international conference, SEFM 2015, York, UK, September 7 - 11, 2015 ; proceedings

Calinescu, Radu C. (Hrsg.) ; SEFM <13., 2015, York>

Cham [u.a.] : Springer, 2015